\(({\Bbb R},+,\times)\) est un corps (Corps) \({\Bbb R}\) est muni d'une relation d'ordre \(\leqslant\) compatible avec la "structure de corps" (Relation d'ordre)
R-barre Majoration - Minoration
